| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| symbol-to-integer | Text File | 16 | 174b | 1998-10-23 |
| symbol-to-string | Text File | 7 | 131b | 1998-10-23 |
| symbol-to-vector | Text File | 11 | 510b | 1998-10-23 |
| transpose-one-symbol | Text File | 11 | 211b | 1998-10-23 |
| transpose-symbol | Text File | 12 | 164b | 1998-10-23 |